_:formula2 _:t1102987046statement1 . _:t1102987046statement1 . _:t1102987046statement1 . _:t1102987046statement1 . _:formula2 _:path3 . _:path3 .