_:formula1 _:t1102821920statement1 . _:t1102821920statement1 _:formula1 . _:t1102821920statement1 . _:t1102821920statement1 "a formula" . _:formula1 .